#!/bin/bash

SERVER_NUM=${FLAGS_server_num}
SERVER_HOST=127.0.0.1
RAFT_HOST=127.0.0.1
STORE_INSTANCE_START_ID=20000
SERVER_START_PORT=20000
RAFT_START_PORT=20100
COORDINATOR_INSTANCE_START_ID=22000
COORDINATOR_SERVER_START_PORT=22000
COORDINATOR_RAFT_START_PORT=22100
INDEX_INSTANCE_START_ID=21000
INDEX_SERVER_START_PORT=21000
INDEX_RAFT_START_PORT=21100
